Ordinal number - PDFSEARCH.IO - Document Search Engine

Ordinal number
Results: 811

#	Item
201	C:ersgame perfectionREC~1.dvi Add to Reading List Source URL: www.umass.edu Language: English - Date: 2007-04-27 03:26:29 Economics Subgame perfect equilibrium Subgame Nash equilibrium Centipede game Trembling hand perfect equilibrium Backward induction Ordinal number Game theory Problem solving Science
202	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Cardinal numbers Set theory Ordinal arithmetic Transfinite induction Constructible universe Forcing Aleph number Successor cardinal Normal function Mathematical logic Mathematics Ordinal numbers
203	The Peirce Translation and the Double Negation Shift Mart´ın Escard´o1 and Paulo Oliva2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-30 08:27:21 Logic Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Function Mathematics Mathematical logic Proof theory
204	Date [yyyy-mm-dd] Reference number Add to Reading List Source URL: www.pvv.ntnu.no Language: English - Date: 2001-11-13 04:23:39 Units of time ISO Calendar Gregorian calendar 0 Year Ordinal date Leap year Coordinated Universal Time Measurement Calendars Time
205	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
206	Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-07-02 11:28:23 General topology Topos Baire space Continuous function Space Ordinal number Cantor space Grothendieck topology Constructible universe Topology Mathematics Sheaf theory
207	On hereditary coreflective subcategories of Top Martin Sleziak () Department of Algebra and Number Theory, FMFI UK, Mlynsk´ a dolina, Bratislava, Slovakia Abstract. Let A be a topological spa Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2005-09-13 11:35:57 Alexandrov topology Quotient space Sequential space Disjoint union Net Topological space Continuous function Ordinal number Order topology Topology General topology Subspace topology
208	JAF Domus Titling Specimen Add to Reading List Source URL: shokomugi.com Language: English - Date: 2012-11-06 05:59:30 Graphic design Digital typography OpenType Font Titling capitals Ordinal number Typography Typesetting Publishing
209	Flexible Type Analysis∗ Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Mathematics Type constructor Recursive data type Type system Turn Ordinal number Curry–Howard correspondence Type theory Mathematical logic Data types
210	Subspaces of pseudoradial spaces Martin Sleziak October 25, 2005 Abstract We prove that every topological space (T0 -space, T1 -space) can be embedded in a pseudoradial space (in a pseudoradial T0 -space, T1 -space). Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English Ordinal number Sequential space Net Subnet Disjoint union Product topology Cofiniteness Topological space Transfinite induction Topology General topology Coherent topology

UPDATE